退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:面向AADL中的定时软件体系结构的多同步分析和验证
Ma, Yue; Yu, Huafeng; Gautier, Thierry; Le Guernic, Paul; Talpin, Jean-Pierre; Besnard, Loïc; Heitz, Maurice;
机译:定时软件架构的多同步建模,分析,验证和仿真
机译:多重自动机及其在AADL模型的形式验证中的用途
机译:多晶自动机及其用于AADL模型的正式验证
机译:对AADL中的定时软件体系结构进行多同步分析和验证
机译:SAE体系结构分析和设计语言(AADL)的软件可测试性度量
机译:与互联网门户网站相关的软件的开发和验证促进2型患者的医疗和赋权糖尿病与医务人员的互动以及实时的产生注册表
机译:用于运行时动态和交互式识别软件授权要求和特权代码位置以及用于验证其他软件程序分析结果的方法和系统
机译:用于软件授权要求和专有代码位置的运行时动态和交互式标识,以及用于验证其他软件程序分析结果的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。